Abstract Interpretation of Combinational Asynchronous Circuits
نویسندگان
چکیده
Interpretation of Combinational Asynchronous Circuits Sarah Thompson, Alan Mycroft Computer Laboratory, University of Cambridge, William Gates Building, JJ Thompson Avenue, Cambridge, CB3 0FD, UK
منابع مشابه
Definite Asynchronous Sequential Circuits
An asynchronous unit delay is an n input n output of the input n-tuple prior to the last inlput change. It asynchronous sequential circuit in which the present value of the will then be shown that every asynchronous definite flow output n-tuple is equal to the value of the input n-tuple prior to the last input change. This paper considers the problem of determining ablecan brizeday a fee bac r ...
متن کاملStatically Analysing the Dynamic Behaviour of Asynchronous Circuits by Abstract Interpretation
Interpretation is a long-established mathematical approach that has the capability to statically analyse the dynamic properties of a system. Traditionally, it has been applied to software, allowing useful information about the run-time properties of programs to be determined without requiring them to be executed. This paper presents an abstract interpretation framework that allows dynamic prope...
متن کاملDesign of Asynchronous Circuits Assuming Unbounded Gate Delays
This paper considers the general problem of the synthesis of asynchronous combinational and sequential circuits based on the assumption that gate delays may be unbounded and that line delays are suitably constrained. Certain problems inherent to circuit realizations with unbounded gate delays are discussed and methods of solving them are proposed. Specific synthesis techniques are presented for...
متن کاملExamples of Models of the Asynchronous Circuits
The notion of limit condition that we propose is a generalization of the delay condition [1], [2], including the models of the delay circuits, of the C elements of Muller and of the combinational circuits.
متن کاملDesigning Asynchronous Sequential Circuits for Random Pattern Testability
A resurgence of interest in asynchronous VLSI circuits is occurring because of their potential for low power consumption, design flexibility and the absence of the clock skew problem. In this paper, an approach to the design of asynchronous sequential circuits for random pattern testability based on the micropipeline design style is described. The test procedure for such asynchronous sequential...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Sci. Comput. Program.
دوره 64 شماره
صفحات -
تاریخ انتشار 2004